Modal De Vries Algebras
نویسندگان
چکیده
We introduce modal de Vries algebras and develop a duality between the category of modal de Vries algebras and the category of coalgebras for the Vietoris functor on compact Hausdorff spaces. This duality serves as a common generalization of de Vries duality between de Vries algebras and compact Hausdorff spaces, and the duality between modal algebras and modal spaces.
منابع مشابه
Modal Operators on Compact Regular Frames and de Vries Algebras
In [7] we introduced the category MKHaus of modal compact Hausdorff spaces, and showed these were concrete realizations of coalgebras for the Vietoris functor on compact Hausdorff spaces, much as modal spaces are coalgebras for the Vietoris functor on Stone spaces. Also in [7] we introduced the categories MKRFrm and MDV of modal compact regular frames, and modal de Vries algebras as algebraic c...
متن کاملIrreducible Equivalence Relations, Gleason Spaces, and de Vries Duality
By de Vries duality, the category of compact Hausdorff spaces is dually equivalent to the category of de Vries algebras (complete Boolean algebras endowed with a proximity-like relation). We provide an alternative “modal-like” duality by introducing the concept of a Gleason space, which is a pair (X,R), where X is an extremally disconnected compact Hausdorff space and R is an irreducible equiva...
متن کاملModal compact Hausdorff spaces
We introduce modal compact Hausdorff spaces as generalizations of modal spaces, and show these are coalgebras for the Vietoris functor on compact Hausdorff spaces. Modal compact regular frames and modal de Vries algebras are introduced as algebraic counterparts of modal compact Hausdorff spaces, and dualities are given for the categories involved. These extend the familiar Isbell and de Vries d...
متن کاملSubordinations, closed relations and compact Hausdorff spaces
We introduce the concept of a subordination, which is dual to the well-known concept of a precontact on a Boolean algebra. We develop a full categorical duality between Boolean algebras with a subordination and Stone spaces with a closed relation, thus generalizing the results of [14]. We introduce the concept of an irreducible equivalence relation, and that of a Gleason space, which is a pair ...
متن کاملA simple propositional calculus for compact Hausdor spaces
We introduce a simple propositional calculus for compact Hausdor spaces. Our approach is based on de Vries duality. The main new connective of our calculus is that of strict implication. We de ne the strict implication calculus SIC as our base calculus. We show that the corresponding variety SIA of strict implication algebras is a discriminator and locally nite variety. We prove that SIC is str...
متن کامل